type T<U V> = number
